formule de Grassmann :
Soient \(E_1,E_2\) deux sous-espaces vectoriels de dimension finie. Alors $${{\operatorname{dim}(E_1+E_2)}}={{\operatorname{dim}E_1+\operatorname{dim}E_2-\operatorname{dim}(E_1\cap E_2)}}$$
(//Union de probabilités - Formule du crible - Formule de Poincaré)